Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
901	LOGIC PROGRAMMING Robert Kowalski 1 INTRODUCTION Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2013-12-18 05:34:05 Theoretical computer science Rules of inference Automated theorem proving Predicate logic Programming paradigms Resolution Horn clause Prolog Clause Logic programming Logic Mathematical logic
902	THE TREATMENT OF NEGATION IN LOGIC PROGRAMS FOR REPRESENTING LEGISLATION Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-06-29 05:05:36 Science Logic programming Predicate logic Integrity constraints First-order logic Programming paradigms Logic Mathematical logic
903	Quantifiers and Temporal Ontology∗ Theodore Sider Mind[removed]): 75–[removed]Skepticism about temporal ontology Add to Reading List Source URL: tedsider.org Language: English - Date: 2008-02-24 14:00:11 Philosophy of time Predicate logic Time Ontology Semantics Eternalism Proposition Existence Quantification Logic Science Metaphysics
904	On Testing Satisfiability of Tree Pattern Queries Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 01:28:11 Logic First-order logic Model theory Predicate logic Datalog FO Decomposition method Constraint logic programming Theoretical computer science Mathematical logic Constraint programming
905	PDF Document Add to Reading List Source URL: www.science-of-medicine.netne.net Language: English - Date: 2013-02-01 20:12:32 Grammar Mathematical logic Mathematics Predicate logic Predicate Semantics Copula Prolog Question Linguistics Logic Parts of speech
906	The Greenest Building: Quantifying the Environmental Value of Building Reuse MATERIALS QUANTIFICATION METHODOLOGY Overview This document summarizes the method and scope of analysis for quantifying materials used in the c Add to Reading List Source URL: www.preservationnation.org Language: English - Date: 2013-03-28 11:03:22 Impact assessment Sustainable building Predicate logic Quantification Semantics Construction Sustainability Life-cycle assessment Logic Architecture Industrial ecology
907	© 2008 Robert B. Brandom April 13, 2008 How Analytic Philosophy Has Failed Cognitive Science Add to Reading List Source URL: www.pitt.edu Language: English - Date: 2008-04-21 06:04:24 Philosophy of language Semantics Philosophical logic Meaning Ontology Predicate Concept Truth Gottlob Frege Philosophy Analytic philosophy Linguistics
908	144 Proceedings of epiSTEME 4, India AN ANALYSIS OF GROWTH OF KNOWLEDGE BASED ON CONCEPTS AND PREDICATES-A PRELIMINARY STUDY Add to Reading List Source URL: okeanos.files.wordpress.com Language: English - Date: 2011-01-13 06:02:36 Cognition Refined concept map Predicate Ontology Knowledge representation and reasoning Semantic network Function First-order logic Concept Knowledge representation Science Logic
909	Authors’ accepted version for publication in Formal Aspects of Computing The final publication is available at springerlink.com The Behavioural Semantics of Event-B Refinement Steve Schneider1 , Helen Treharne1 , Heike Add to Reading List Source URL: www.computing.surrey.ac.uk Language: English - Date: 2014-04-07 11:14:04 Process calculi Denotational semantics Concurrent computing Communicating sequential processes Formal methods Philosophical logic Predicate transformer semantics Divergence Trace Mathematics Computing Theoretical computer science
910	Modeling of Phenomena and Dynamic Logic of Phenomena Boris Kovalerchuk1, Leonid Perlovsky2, Gregory Wheeler3 Draft of September 1, [removed]Central Washington University, Dept. of Computer Science, USA, [removed] 2 Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2011-09-01 06:17:34 Model theory Predicate logic Philosophical logic Mereology Interpretation Kripke semantics First-order logic Modal logic Function Logic Mathematical logic Mathematics